محمد بن الحسن ( ابن الهيثم )

29

شرح مصادرات كتاب اقليدس

- الزاوية : تنشأ من التقاء خطين متقابلين الواحد منهما مع الآخر ، بحيث يكون لكل خط اتجاه مخالف للخط الآخر « 1 » . النظريات ( المبرهنات ) : Theorems وهي مجموعة النتائج التي يتم استنتاجها أو اشتقاقها أو الاستدلال عليها عن طريق الاستنباط Deduction من جملة المقدمات Axiomatic System المتمثلة في التعريفات والمسلمات والمصادرات ، ولذلك فإن الصدق في النظريات ( المبرهنات ) مشروط بصدق المقدمات التي نتجت عنها . فالقول بأن : مجموع زوايا المثلث يساوى قائمتين في الهندسة الإقليدية . هو مبرهنة صادقة طالما أنها نتجت عن مقدمة تقول : إن المكان سطح مستو . ولو تصورنا المكان سطح غير مستو كما هو الحال في الهندسات غير الإقليدية ، لكان مجموع زوايا المثلث أقل أو أكثر من قائمتين ، وكذلك فإنه ينبغي أن تكون المبرهنات خالية من التناقض " « 2 » . قواعد الاستدلال يكتمل بناء النسق الاستنباطى طبقا لقواعد تسمى قواعد الاستدلال ، وهي " توجهات غير ملزمة ولكنها توضح صدق المبرهنات بالقياس إلى مقدماتها المفترضة ، وليس بالقياس إلى الواقع ، ويعتبر المنهج الفرضي الاستنباطى العقلي صوريا ينتقل فيه الباحث تدريجيا من مقدمات إلى نتائج جديدة تلزم عنها ( هي النظريات ) " « 3 » .

--> ( 1 ) Euclaides - Elements - In the great Books - 13 books - translation into English by ( T ) Heat - London , 1952 - Pl : 4 . ( 2 ) د . أحمد فؤاد باشا - فلسفة العلوم بنظرة إسلامية - ص 115 . ( 3 ) نفس المرجع - ص 115 .